results for Calculus of Communicating Systems